<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<link href="common/css/sf.css" rel="stylesheet" type="text/css"/>
<title>索引</title>
</head>
<link href="common/jquery-ui/jquery-ui.css" rel="stylesheet">
<script src="common/jquery-ui/external/jquery/jquery.js"></script>
<script src="common/jquery-ui/jquery-ui.js"></script>
<script src="common/toggleproofs.js"></script>
<link href="common/css/qc.css" rel="stylesheet" type="text/css"/>

<body>

<div id="page">

<div id="header">
<a href='https://coq-zh.github.io/SF-zh/index.html'>
<img src='common/media/image/sf_logo_sm.png'></a>
</br><a href='index.html'>  <span class='booktitleinheader'>Volume 4: QuickChick：用 Coq 进行基于性质的测试</span><br></br>
<ul id='menu'>
   <a href='toc.html'><li class='section_name'>目录</li></a>
   <a href='coqindex.html'><li class='section_name'>索引</li></a>
</ul>
</a></div>

<div id="main">

<table>
<tr>
<td>Global Index</td>
<td><a href="coqindex.html#global_A">A</a></td>
<td><a href="coqindex.html#global_B">B</a></td>
<td><a href="coqindex.html#global_C">C</a></td>
<td><a href="coqindex.html#global_D">D</a></td>
<td><a href="coqindex.html#global_E">E</a></td>
<td><a href="coqindex.html#global_F">F</a></td>
<td><a href="coqindex.html#global_G">G</a></td>
<td><a href="coqindex.html#global_H">H</a></td>
<td><a href="coqindex.html#global_I">I</a></td>
<td>J</td>
<td>K</td>
<td><a href="coqindex.html#global_L">L</a></td>
<td><a href="coqindex.html#global_M">M</a></td>
<td><a href="coqindex.html#global_N">N</a></td>
<td><a href="coqindex.html#global_O">O</a></td>
<td><a href="coqindex.html#global_P">P</a></td>
<td><a href="coqindex.html#global_Q">Q</a></td>
<td><a href="coqindex.html#global_R">R</a></td>
<td><a href="coqindex.html#global_S">S</a></td>
<td><a href="coqindex.html#global_T">T</a></td>
<td>U</td>
<td><a href="coqindex.html#global_V">V</a></td>
<td><a href="coqindex.html#global_W">W</a></td>
<td>X</td>
<td><a href="coqindex.html#global_Y">Y</a></td>
<td>Z</td>
<td><a href="coqindex.html#global_:">:</a></td>
<td>_</td>
<td>(470 entries)</td>
</tr>
<tr>
<td>Notation Index</td>
<td>A</td>
<td>B</td>
<td>C</td>
<td>D</td>
<td>E</td>
<td>F</td>
<td><a href="coqindex.html#notation_G">G</a></td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td><a href="coqindex.html#notation_Q">Q</a></td>
<td>R</td>
<td>S</td>
<td>T</td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td><a href="coqindex.html#notation_:">:</a></td>
<td>_</td>
<td>(27 entries)</td>
</tr>
<tr>
<td>Module Index</td>
<td>A</td>
<td>B</td>
<td><a href="coqindex.html#module_C">C</a></td>
<td><a href="coqindex.html#module_D">D</a></td>
<td>E</td>
<td>F</td>
<td><a href="coqindex.html#module_G">G</a></td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td><a href="coqindex.html#module_Q">Q</a></td>
<td>R</td>
<td>S</td>
<td>T</td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(14 entries)</td>
</tr>
<tr>
<td>Library Index</td>
<td>A</td>
<td><a href="coqindex.html#library_B">B</a></td>
<td>C</td>
<td>D</td>
<td>E</td>
<td>F</td>
<td>G</td>
<td>H</td>
<td><a href="coqindex.html#library_I">I</a></td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td><a href="coqindex.html#library_P">P</a></td>
<td><a href="coqindex.html#library_Q">Q</a></td>
<td>R</td>
<td>S</td>
<td><a href="coqindex.html#library_T">T</a></td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(9 entries)</td>
</tr>
<tr>
<td>Axiom Index</td>
<td>A</td>
<td>B</td>
<td><a href="coqindex.html#axiom_C">C</a></td>
<td>D</td>
<td><a href="coqindex.html#axiom_E">E</a></td>
<td>F</td>
<td>G</td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td><a href="coqindex.html#axiom_Q">Q</a></td>
<td><a href="coqindex.html#axiom_R">R</a></td>
<td>S</td>
<td>T</td>
<td>U</td>
<td>V</td>
<td><a href="coqindex.html#axiom_W">W</a></td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(36 entries)</td>
</tr>
<tr>
<td>Constructor Index</td>
<td><a href="coqindex.html#constructor_A">A</a></td>
<td><a href="coqindex.html#constructor_B">B</a></td>
<td><a href="coqindex.html#constructor_C">C</a></td>
<td><a href="coqindex.html#constructor_D">D</a></td>
<td><a href="coqindex.html#constructor_E">E</a></td>
<td><a href="coqindex.html#constructor_F">F</a></td>
<td><a href="coqindex.html#constructor_G">G</a></td>
<td>H</td>
<td><a href="coqindex.html#constructor_I">I</a></td>
<td>J</td>
<td>K</td>
<td><a href="coqindex.html#constructor_L">L</a></td>
<td><a href="coqindex.html#constructor_M">M</a></td>
<td><a href="coqindex.html#constructor_N">N</a></td>
<td><a href="coqindex.html#constructor_O">O</a></td>
<td>P</td>
<td><a href="coqindex.html#constructor_Q">Q</a></td>
<td><a href="coqindex.html#constructor_R">R</a></td>
<td><a href="coqindex.html#constructor_S">S</a></td>
<td><a href="coqindex.html#constructor_T">T</a></td>
<td>U</td>
<td><a href="coqindex.html#constructor_V">V</a></td>
<td>W</td>
<td>X</td>
<td><a href="coqindex.html#constructor_Y">Y</a></td>
<td>Z</td>
<td>_</td>
<td>(84 entries)</td>
</tr>
<tr>
<td>Lemma Index</td>
<td>A</td>
<td><a href="coqindex.html#lemma_B">B</a></td>
<td><a href="coqindex.html#lemma_C">C</a></td>
<td>D</td>
<td><a href="coqindex.html#lemma_E">E</a></td>
<td>F</td>
<td>G</td>
<td><a href="coqindex.html#lemma_H">H</a></td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td>Q</td>
<td>R</td>
<td>S</td>
<td><a href="coqindex.html#lemma_T">T</a></td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(6 entries)</td>
</tr>
<tr>
<td>Projection Index</td>
<td>A</td>
<td>B</td>
<td><a href="coqindex.html#projection_C">C</a></td>
<td><a href="coqindex.html#projection_D">D</a></td>
<td><a href="coqindex.html#projection_E">E</a></td>
<td>F</td>
<td><a href="coqindex.html#projection_G">G</a></td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td><a href="coqindex.html#projection_L">L</a></td>
<td><a href="coqindex.html#projection_M">M</a></td>
<td>N</td>
<td>O</td>
<td><a href="coqindex.html#projection_P">P</a></td>
<td><a href="coqindex.html#projection_Q">Q</a></td>
<td><a href="coqindex.html#projection_R">R</a></td>
<td><a href="coqindex.html#projection_S">S</a></td>
<td><a href="coqindex.html#projection_T">T</a></td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(29 entries)</td>
</tr>
<tr>
<td>Inductive Index</td>
<td>A</td>
<td><a href="coqindex.html#inductive_B">B</a></td>
<td><a href="coqindex.html#inductive_C">C</a></td>
<td><a href="coqindex.html#inductive_D">D</a></td>
<td><a href="coqindex.html#inductive_E">E</a></td>
<td>F</td>
<td>G</td>
<td><a href="coqindex.html#inductive_H">H</a></td>
<td><a href="coqindex.html#inductive_I">I</a></td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td><a href="coqindex.html#inductive_P">P</a></td>
<td>Q</td>
<td><a href="coqindex.html#inductive_R">R</a></td>
<td><a href="coqindex.html#inductive_S">S</a></td>
<td><a href="coqindex.html#inductive_T">T</a></td>
<td>U</td>
<td><a href="coqindex.html#inductive_V">V</a></td>
<td><a href="coqindex.html#inductive_W">W</a></td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(26 entries)</td>
</tr>
<tr>
<td>Instance Index</td>
<td>A</td>
<td><a href="coqindex.html#instance_B">B</a></td>
<td><a href="coqindex.html#instance_C">C</a></td>
<td><a href="coqindex.html#instance_D">D</a></td>
<td><a href="coqindex.html#instance_E">E</a></td>
<td>F</td>
<td><a href="coqindex.html#instance_G">G</a></td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td><a href="coqindex.html#instance_M">M</a></td>
<td><a href="coqindex.html#instance_N">N</a></td>
<td><a href="coqindex.html#instance_O">O</a></td>
<td>P</td>
<td><a href="coqindex.html#instance_Q">Q</a></td>
<td>R</td>
<td><a href="coqindex.html#instance_S">S</a></td>
<td>T</td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(105 entries)</td>
</tr>
<tr>
<td>Section Index</td>
<td>A</td>
<td>B</td>
<td>C</td>
<td>D</td>
<td>E</td>
<td>F</td>
<td><a href="coqindex.html#section_G">G</a></td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td>Q</td>
<td>R</td>
<td>S</td>
<td>T</td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(1 entry)</td>
</tr>
<tr>
<td>Definition Index</td>
<td><a href="coqindex.html#definition_A">A</a></td>
<td><a href="coqindex.html#definition_B">B</a></td>
<td><a href="coqindex.html#definition_C">C</a></td>
<td><a href="coqindex.html#definition_D">D</a></td>
<td><a href="coqindex.html#definition_E">E</a></td>
<td><a href="coqindex.html#definition_F">F</a></td>
<td><a href="coqindex.html#definition_G">G</a></td>
<td>H</td>
<td><a href="coqindex.html#definition_I">I</a></td>
<td>J</td>
<td>K</td>
<td><a href="coqindex.html#definition_L">L</a></td>
<td><a href="coqindex.html#definition_M">M</a></td>
<td><a href="coqindex.html#definition_N">N</a></td>
<td><a href="coqindex.html#definition_O">O</a></td>
<td><a href="coqindex.html#definition_P">P</a></td>
<td><a href="coqindex.html#definition_Q">Q</a></td>
<td><a href="coqindex.html#definition_R">R</a></td>
<td><a href="coqindex.html#definition_S">S</a></td>
<td><a href="coqindex.html#definition_T">T</a></td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(113 entries)</td>
</tr>
<tr>
<td>Record Index</td>
<td>A</td>
<td>B</td>
<td><a href="coqindex.html#record_C">C</a></td>
<td><a href="coqindex.html#record_D">D</a></td>
<td><a href="coqindex.html#record_E">E</a></td>
<td>F</td>
<td><a href="coqindex.html#record_G">G</a></td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td><a href="coqindex.html#record_L">L</a></td>
<td><a href="coqindex.html#record_M">M</a></td>
<td>N</td>
<td><a href="coqindex.html#record_O">O</a></td>
<td><a href="coqindex.html#record_P">P</a></td>
<td><a href="coqindex.html#record_Q">Q</a></td>
<td><a href="coqindex.html#record_R">R</a></td>
<td><a href="coqindex.html#record_S">S</a></td>
<td><a href="coqindex.html#record_T">T</a></td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(20 entries)</td>
</tr>
</table>
<hr/>
<h1>Global Index</h1>
<a name="global_A"></a><h2>A </h2>
<a href="QC.Typeclasses.html#All">All</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QuickChickTool.html#AMinus">AMinus</a> [constructor, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QuickChickTool.html#AMult">AMult</a> [constructor, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QuickChickTool.html#ANum">ANum</a> [constructor, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QuickChickTool.html#APlus">APlus</a> [constructor, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<br/><br/><a name="global_B"></a><h2>B </h2>
<a href="QC.Typeclasses.html#bar">bar</a> [inductive, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#Bar">Bar</a> [constructor, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#base">base</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#base'">base'</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#Baz">Baz</a> [constructor, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#baz">baz</a> [inductive, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#baz1">baz1</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#baz2">baz2</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#baz3">baz3</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#baz4">baz4</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="Bib.html">Bib</a> [library]<br/>
<a href="QC.TImp.html#Bind">Bind</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#bindGenOpt">bindGenOpt</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#bind_deterministic">bind_deterministic</a> [lemma, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#Blue">Blue</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#Blue">Blue</a> [constructor, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#bound_to">bound_to</a> [inductive, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#Build_LabeledPoint">Build_LabeledPoint</a> [constructor, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#Build_Point">Build_Point</a> [constructor, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="global_C"></a><h2>C </h2>
<a href="QC.TImp.html#CAss">CAss</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#ceval">ceval</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#CheckerPlayground1">CheckerPlayground1</a> [module, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground1.Checkable">CheckerPlayground1.Checkable</a> [record, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground1.checkableBool">CheckerPlayground1.checkableBool</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground1.Checker">CheckerPlayground1.Checker</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground1.checker">CheckerPlayground1.checker</a> [projection, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground1.Failure">CheckerPlayground1.Failure</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground1.Result">CheckerPlayground1.Result</a> [inductive, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground1.showResult">CheckerPlayground1.showResult</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground1.Success">CheckerPlayground1.Success</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground2">CheckerPlayground2</a> [module, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground2.checkableDec">CheckerPlayground2.checkableDec</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground2.c1">CheckerPlayground2.c1</a> [axiom, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground2.c2">CheckerPlayground2.c2</a> [axiom, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground3">CheckerPlayground3</a> [module, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground3.forAll">CheckerPlayground3.forAll</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4">CheckerPlayground4</a> [module, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.Checkable">CheckerPlayground4.Checkable</a> [record, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.checkableBool">CheckerPlayground4.checkableBool</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.checkableDec">CheckerPlayground4.checkableDec</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.Checker">CheckerPlayground4.Checker</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.checker">CheckerPlayground4.checker</a> [projection, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.Failure">CheckerPlayground4.Failure</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.forAll">CheckerPlayground4.forAll</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.Result">CheckerPlayground4.Result</a> [inductive, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.showResult">CheckerPlayground4.showResult</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.showUnit">CheckerPlayground4.showUnit</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.Success">CheckerPlayground4.Success</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#CIf">CIf</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#color">color</a> [inductive, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#com">com</a> [inductive, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#commutativity_property">commutativity_property</a> [lemma, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QuickChickTool.html#compile">compile</a> [definition, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QuickChickTool.html#compiles_correctly">compiles_correctly</a> [definition, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.TImp.html#conditional_prop_example">conditional_prop_example</a> [axiom, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#context">context</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#CSeq">CSeq</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#CSkip">CSkip</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#CWhile">CWhile</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="global_D"></a><h2>D </h2>
<a href="QC.Typeclasses.html#Dec">Dec</a> [record, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#dec">dec</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#dec_bound_to">dec_bound_to</a> [instance, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#dec_bound_to">dec_bound_to</a> [instance, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#Dec_conj">Dec_conj</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#dec_has_type">dec_has_type</a> [instance, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#dec_has_type_value">dec_has_type_value</a> [instance, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#dec_well_typed_com">dec_well_typed_com</a> [instance, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#dec_well_typed_state">dec_well_typed_state</a> [instance, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#DefineArbitrary">DefineArbitrary</a> [module, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineArbitrary.Arbitrary">DefineArbitrary.Arbitrary</a> [record, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineG">DefineG</a> [module, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineGen">DefineGen</a> [module, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineGenSized">DefineGenSized</a> [module, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineGenSized.arbitrarySized">DefineGenSized.arbitrarySized</a> [projection, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineGenSized.GenOfGenSized">DefineGenSized.GenOfGenSized</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineGenSized.GenSized">DefineGenSized.GenSized</a> [record, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineGen.arbitrary">DefineGen.arbitrary</a> [projection, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineGen.Gen">DefineGen.Gen</a> [record, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineG.G">DefineG.G</a> [inductive, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineG.MkG">DefineG.MkG</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineSized">DefineSized</a> [module, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineSized.sized">DefineSized.sized</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#direction">direction</a> [inductive, in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="global_E"></a><h2>E </h2>
<a href="QC.TImp.html#EAnd">EAnd</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#EEq">EEq</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#EFalse">EFalse</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#eg<sub>42</sub>">eg<sub>42</sub></a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#ELe">ELe</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#EMinus">EMinus</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#EMult">EMult</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#ENot">ENot</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#ENum">ENum</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#EPlus">EPlus</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#Eq">Eq</a> [record, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqb">eqb</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqbad">eqbad</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqBar">eqBar</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqBool">eqBool</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqb_eq">eqb_eq</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqb_fact">eqb_fact</a> [lemma, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#EqDec">EqDec</a> [record, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqdecBool'">eqdecBool'</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqdecBool''">eqdecBool''</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqdecNat">eqdecNat</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#EqDec__Dec">EqDec__Dec</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqNat">eqNat</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqPair">eqPair</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#eq_dec_color">eq_dec_color</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#eq_dec_tern_tree">eq_dec_tern_tree</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#eq_dec_tree">eq_dec_tree</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#eq_dec_ty">eq_dec_ty</a> [instance, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#eq_id_dec">eq_id_dec</a> [instance, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#ETrue">ETrue</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QuickChickTool.html#eval">eval</a> [definition, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.TImp.html#eval">eval</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#EVar">EVar</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#every_color_is_red">every_color_is_red</a> [axiom, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QuickChickTool.html#execute">execute</a> [definition, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.TImp.html#exp">exp</a> [inductive, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QuickChickTool.html#exp">exp</a> [inductive, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.TImp.html#expression_soundness">expression_soundness</a> [axiom, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#expression_soundness_exec">expression_soundness_exec</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#expression_soundness_exec'">expression_soundness_exec'</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#expression_soundness_exec_firstshrink">expression_soundness_exec_firstshrink</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#e<sub>1</sub>">e<sub>1</sub></a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#e<sub>2</sub>">e<sub>2</sub></a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#e<sub>3</sub>">e<sub>3</sub></a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#e<sub>3</sub>">e<sub>3</sub></a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="global_F"></a><h2>F </h2>
<a href="QC.TImp.html#Fail">Fail</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#faultyMirrorP">faultyMirrorP</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#foo">foo</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#fresh">fresh</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="global_G"></a><h2>G </h2>
<a href="QC.QC.html#genColor">genColor</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#genColor'">genColor'</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#genDirection">genDirection</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#genPath">genPath</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#genSortedList">genSortedList</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#GenSTPlayground">GenSTPlayground</a> [module, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#GenSTPlayground.arbitrarySizeST">GenSTPlayground.arbitrarySizeST</a> [projection, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#GenSTPlayground.arbitraryST">GenSTPlayground.arbitraryST</a> [projection, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#GenSTPlayground.GenSizedSuchThat">GenSTPlayground.GenSizedSuchThat</a> [record, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#GenSTPlayground.GenSuchThat">GenSTPlayground.GenSuchThat</a> [record, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#GenSTPlayground.GenSuchThatOfBounded">GenSTPlayground.GenSuchThatOfBounded</a> [instance, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#GenSTPlayground.:::'genST'_x">GenSTPlayground.:::'genST'_x</a> [notation, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#genTree">genTree</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#genTreeSized">genTreeSized</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#genTreeSized'">genTreeSized'</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#gen_color">gen_color</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#gen_context">gen_context</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_exp_typed_sized">gen_exp_typed_sized</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_has_type_2">gen_has_type_2</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_has_type_3">gen_has_type_3</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_typed_evar">gen_typed_evar</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_typed_has_type">gen_typed_has_type</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_typed_id_from_context">gen_typed_id_from_context</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_typed_value">gen_typed_value</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_well_typed_state">gen_well_typed_state</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#get_fresh_ids">get_fresh_ids</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#GMonad">GMonad</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#GMonadDef">GMonadDef</a> [section, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#Green">Green</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#Green">Green</a> [constructor, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="global_H"></a><h2>H </h2>
<a href="QC.TImp.html#has_type">has_type</a> [inductive, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#has_type_deterministic">has_type_deterministic</a> [lemma, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#has_type_value">has_type_value</a> [inductive, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#has_type_1">has_type_1</a> [inductive, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#has_type_2">has_type_2</a> [inductive, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#has_type_3">has_type_3</a> [inductive, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="global_I"></a><h2>I </h2>
<a href="QC.TImp.html#Id">Id</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#id">id</a> [inductive, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#implicit_fun">implicit_fun</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#implicit_fun1">implicit_fun1</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Introduction.html#insert">insert</a> [definition, in <a href="QC.Introduction.html">QC.Introduction</a>]<br/>
<a href="QC.QC.html#insert">insert</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#insertBST">insertBST</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#insertBST'">insertBST'</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#insertBST_spec">insertBST_spec</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#insertBST_spec'">insertBST_spec'</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#insert_spec">insert_spec</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#insert_spec'">insert_spec'</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#insert_spec_sorted">insert_spec_sorted</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="Introduction.html">Introduction</a> [library]<br/>
<a href="QC.QC.html#isBST">isBST</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#isFail">isFail</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#isNone">isNone</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#isRed">isRed</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="global_L"></a><h2>L </h2>
<a href="QC.Typeclasses.html#label">label</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#LabeledPoint">LabeledPoint</a> [record, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#le">le</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#Leaf">Leaf</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#lebad">lebad</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#Left">Left</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#liftM">liftM</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#liftM2">liftM2</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#liftM3">liftM3</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#lift_shrink">lift_shrink</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#lt">lt</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#lx">lx</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#ly">ly</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="global_M"></a><h2>M </h2>
<a href="QC.TImp.html#Map">Map</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#map_dom">map_dom</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#map_empty">map_empty</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#map_get">map_get</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#map_set">map_set</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#max">max</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#max">max</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#max1">max1</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#max_elt">max_elt</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#Middle">Middle</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#mirror">mirror</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#mirrorP">mirrorP</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#MyMap">MyMap</a> [record, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#mymap">mymap</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#MyMap1">MyMap1</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#MyMap2">MyMap2</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#MyMap_trans">MyMap_trans</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="global_N"></a><h2>N </h2>
<a href="QC.Typeclasses.html#natOrd">natOrd</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#Node">Node</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#nth_opt">nth_opt</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="global_O"></a><h2>O </h2>
<a href="QC.QuickChickTool.html#optimize">optimize</a> [definition, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QuickChickTool.html#optimize_correct_prop">optimize_correct_prop</a> [definition, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.Typeclasses.html#optionMonad">optionMonad</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#Ord">Ord</a> [record, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#OrdBad">OrdBad</a> [record, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#ordBarList">ordBarList</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#OutOfGas">OutOfGas</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="global_P"></a><h2>P </h2>
<a href="QC.QC.html#path">path</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#path_mirror">path_mirror</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#Point">Point</a> [record, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="PostScript.html">PostScript</a> [library]<br/>
<a href="Preface.html">Preface</a> [library]<br/>
<a href="QC.Typeclasses.html#PreOrder">PreOrder</a> [record, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#PreOrder_Reflexive">PreOrder_Reflexive</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#PreOrder_Transitive">PreOrder_Transitive</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#primary">primary</a> [inductive, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#px">px</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#py">py</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="global_Q"></a><h2>Q </h2>
<a href="QC.html">QC</a> [library]<br/>
<a href="QuickChickInterface.html">QuickChickInterface</a> [library]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig">QuickChickSig</a> [module, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Applicative_G">QuickChickSig.Applicative_G</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.ArbitraryOfGenShrink">QuickChickSig.ArbitraryOfGenShrink</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Args">QuickChickSig.Args</a> [record, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.backtrack">QuickChickSig.backtrack</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.bindGenOpt">QuickChickSig.bindGenOpt</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.bindGen'">QuickChickSig.bindGen'</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.chatty">QuickChickSig.chatty</a> [projection, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Checker">QuickChickSig.Checker</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.choose">QuickChickSig.choose</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.ChooseBool">QuickChickSig.ChooseBool</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.ChooseNat">QuickChickSig.ChooseNat</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.ChooseZ">QuickChickSig.ChooseZ</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.collect">QuickChickSig.collect</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.conjoin">QuickChickSig.conjoin</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_ascii">QuickChickSig.Dec_ascii</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_conj">QuickChickSig.Dec_conj</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_disj">QuickChickSig.Dec_disj</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_eq_bool">QuickChickSig.Dec_eq_bool</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_eq_list">QuickChickSig.Dec_eq_list</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_eq_nat">QuickChickSig.Dec_eq_nat</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_eq_opt">QuickChickSig.Dec_eq_opt</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_eq_prod">QuickChickSig.Dec_eq_prod</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_neg">QuickChickSig.Dec_neg</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_string">QuickChickSig.Dec_string</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.disjoin">QuickChickSig.disjoin</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.elems_">QuickChickSig.elems_</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Eq__Dec">QuickChickSig.Eq__Dec</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.expectFailure">QuickChickSig.expectFailure</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.forAll">QuickChickSig.forAll</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.forAllProof">QuickChickSig.forAllProof</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.forAllShrink">QuickChickSig.forAllShrink</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.freq_">QuickChickSig.freq_</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Functor_G">QuickChickSig.Functor_G</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.G">QuickChickSig.G</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genBoolSized">QuickChickSig.genBoolSized</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genList">QuickChickSig.genList</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genListSized">QuickChickSig.genListSized</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genNatSized">QuickChickSig.genNatSized</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.GenOfGenSized">QuickChickSig.GenOfGenSized</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genOption">QuickChickSig.genOption</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genPair">QuickChickSig.genPair</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genPairSized">QuickChickSig.genPairSized</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genZSized">QuickChickSig.genZSized</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.implication">QuickChickSig.implication</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.listOf">QuickChickSig.listOf</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.maxDiscard">QuickChickSig.maxDiscard</a> [projection, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.maxShrinks">QuickChickSig.maxShrinks</a> [projection, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.maxSize">QuickChickSig.maxSize</a> [projection, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.maxSuccess">QuickChickSig.maxSuccess</a> [projection, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.MkArgs">QuickChickSig.MkArgs</a> [constructor, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Monad_G">QuickChickSig.Monad_G</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.nl">QuickChickSig.nl</a> [definition, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.oneOf_">QuickChickSig.oneOf_</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.OrdBool">QuickChickSig.OrdBool</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.OrdNat">QuickChickSig.OrdNat</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.OrdZ">QuickChickSig.OrdZ</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation">QuickChickSig.QcDefaultNotation</a> [module, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'('_x_';;'_x_')'">QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'('_x_';;'_x_')'</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'['_x_';'_x_';'_'..'_';'_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'['_x_';'_x_';'_'..'_';'_x_']'</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'['_x_';'_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'['_x_';'_x_']'</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'['_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'['_x_']'</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'('_'('_x_','_x_')'_';;'_x_')'">QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'('_'('_x_','_x_')'_';;'_x_')'</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'['_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'['_x_']'</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'['_'('_x_','_x_')'_';'_x_';'_'..'_';'_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'['_'('_x_','_x_')'_';'_x_';'_'..'_';'_x_']'</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'['_'('_x_','_x_')'_';'_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'['_'('_x_','_x_')'_';'_x_']'</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'('_x_';;'_x_')'">QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'('_x_';;'_x_')'</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'['_x_';'_x_';'_'..'_';'_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'['_x_';'_x_';'_'..'_';'_x_']'</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'['_x_';'_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'['_x_';'_x_']'</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'['_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'['_x_']'</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDoNotation">QuickChickSig.QcDoNotation</a> [module, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDoNotation.:::'doM!'_x_'<-'_x_';'_x">QuickChickSig.QcDoNotation.:::'doM!'_x_'<-'_x_';'_x</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDoNotation.:::'do!'_x_'<-'_x_';'_x">QuickChickSig.QcDoNotation.:::'do!'_x_'<-'_x_';'_x</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDoNotation.:::'do\'''_x_'<-'_x_';'_x">QuickChickSig.QcDoNotation.:::'do\'''_x_'<-'_x_';'_x</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcNotation">QuickChickSig.QcNotation</a> [module, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcNotation.::Checker_scope:x_'==>'_x">QuickChickSig.QcNotation.::Checker_scope:x_'==>'_x</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.RandomSeed">QuickChickSig.RandomSeed</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.replay">QuickChickSig.replay</a> [projection, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.resize">QuickChickSig.resize</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.run">QuickChickSig.run</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.semGen">QuickChickSig.semGen</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.semGenSize">QuickChickSig.semGenSize</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showBool">QuickChickSig.showBool</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showEx">QuickChickSig.showEx</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showList">QuickChickSig.showList</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showNat">QuickChickSig.showNat</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showOpt">QuickChickSig.showOpt</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showPair">QuickChickSig.showPair</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showString">QuickChickSig.showString</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showZ">QuickChickSig.showZ</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.shrinkBool">QuickChickSig.shrinkBool</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.shrinkList">QuickChickSig.shrinkList</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.shrinkNat">QuickChickSig.shrinkNat</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.shrinkOption">QuickChickSig.shrinkOption</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.shrinkPair">QuickChickSig.shrinkPair</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.shrinkZ">QuickChickSig.shrinkZ</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.sized">QuickChickSig.sized</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.suchThatMaybe">QuickChickSig.suchThatMaybe</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.suchThatMaybeOpt">QuickChickSig.suchThatMaybeOpt</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.tag">QuickChickSig.tag</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.testBool">QuickChickSig.testBool</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.testDec">QuickChickSig.testDec</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.testFun">QuickChickSig.testFun</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.testPolyFun">QuickChickSig.testPolyFun</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.testProd">QuickChickSig.testProd</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.testUnit">QuickChickSig.testUnit</a> [instance, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.vectorOf">QuickChickSig.vectorOf</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.whenFail">QuickChickSig.whenFail</a> [axiom, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.:::x_'?'">QuickChickSig.:::x_'?'</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.:::'genST'_x">QuickChickSig.:::'genST'_x</a> [notation, in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QuickChickTool.html">QuickChickTool</a> [library]<br/>
<br/><br/><a name="global_R"></a><h2>R </h2>
<a href="QC.Typeclasses.html#r">r</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#Red">Red</a> [constructor, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#Red">Red</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#Reflexive">Reflexive</a> [record, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#reflexivity">reflexivity</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Introduction.html#remove">remove</a> [definition, in <a href="QC.Introduction.html">QC.Introduction</a>]<br/>
<a href="QC.Introduction.html#removeP">removeP</a> [axiom, in <a href="QC.Introduction.html">QC.Introduction</a>]<br/>
<a href="QC.TImp.html#result">result</a> [inductive, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#Right">Right</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="global_S"></a><h2>S </h2>
<a href="QC.Typeclasses.html#Show">Show</a> [record, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#show">show</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showBool">showBool</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#showDirection">showDirection</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#showList">showList</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showListAux">showListAux</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showNat">showNat</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showOne">showOne</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showOne1">showOne1</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showOne2">showOne2</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showOne3">showOne3</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showOne4">showOne4</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showPair">showPair</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#showPath">showPath</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#showPrimary">showPrimary</a> [instance, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#showTree">showTree</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#showTwo">showTwo</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#show_color">show_color</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#show_id">show_id</a> [instance, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#shrinkColor">shrinkColor</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#shrinkDirection">shrinkDirection</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#shrinkId">shrinkId</a> [instance, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#shrinkPath">shrinkPath</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#shrinkTree">shrinkTree</a> [instance, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#shrinkTreeAux">shrinkTreeAux</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#shrink_base">shrink_base</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#shrink_evar">shrink_evar</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#shrink_exp_typed">shrink_exp_typed</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#shrink_rec">shrink_rec</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#shrink_typed_has_type">shrink_typed_has_type</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#silly_fun1">silly_fun1</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#silly_fun2">silly_fun2</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QuickChickTool.html#sinstr">sinstr</a> [inductive, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QC.html#size">size</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QuickChickTool.html#SMinus">SMinus</a> [constructor, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QuickChickTool.html#SMult">SMult</a> [constructor, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QC.html#sorted">sorted</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QuickChickTool.html#SPlus">SPlus</a> [constructor, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QuickChickTool.html#SPush">SPush</a> [constructor, in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.TImp.html#state">state</a> [definition, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#string_of_nat">string_of_nat</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#string_of_nat_aux">string_of_nat_aux</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#Success">Success</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#sum3">sum3</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#sum3opt">sum3opt</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#sum3opt'">sum3opt'</a> [definition, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="global_T"></a><h2>T </h2>
<a href="QC.TImp.html#TAss">TAss</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#TBool">TBool</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#TernaryTree">TernaryTree</a> [inductive, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#tern_mirror">tern_mirror</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#tern_mirror_path_flip">tern_mirror_path_flip</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#TIf">TIf</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="TImp.html">TImp</a> [library]<br/>
<a href="QC.QC.html#TLeaf">TLeaf</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#TNat">TNat</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#TNode">TNode</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#Transitive">Transitive</a> [record, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#transitivity">transitivity</a> [projection, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#trans3">trans3</a> [lemma, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#trans3_pre">trans3_pre</a> [lemma, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#traverse_node">traverse_node</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#traverse_path">traverse_path</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#Tree">Tree</a> [inductive, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#treeProp">treeProp</a> [definition, in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#TSeq">TSeq</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#TSkip">TSkip</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#TS_Elem">TS_Elem</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#TS_Empty">TS_Empty</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#TWhile">TWhile</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#ty">ty</a> [inductive, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="Typeclasses.html">Typeclasses</a> [library]<br/>
<a href="QC.TImp.html#TyVBool">TyVBool</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#TyVNat">TyVNat</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_And">Ty_And</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Eq">Ty_Eq</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_False">Ty_False</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_False2">Ty_False2</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Le">Ty_Le</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Minus">Ty_Minus</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Mult">Ty_Mult</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Not">Ty_Not</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Num">Ty_Num</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Num2">Ty_Num2</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Plus">Ty_Plus</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Plus3">Ty_Plus3</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_True">Ty_True</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_True2">Ty_True2</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Var">Ty_Var</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Var1">Ty_Var1</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Var2">Ty_Var2</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Var3">Ty_Var3</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="global_V"></a><h2>V </h2>
<a href="QC.TImp.html#value">value</a> [inductive, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#VBool">VBool</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#VNat">VNat</a> [constructor, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="global_W"></a><h2>W </h2>
<a href="QC.TImp.html#well_typed_com">well_typed_com</a> [inductive, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#well_typed_state">well_typed_state</a> [inductive, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#well_typed_state_never_stuck">well_typed_state_never_stuck</a> [axiom, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="global_Y"></a><h2>Y </h2>
<a href="QC.QC.html#Yellow">Yellow</a> [constructor, in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="global_:"></a><h2>: </h2>
<a href="QC.TImp.html#:::x_'<span style='font-size:85%;'><span style='vertical-align:5%;'><span style='letter-spacing:-.2em;'>:</span>:</span>=</span>'_x">:::x_'<span style='font-size:85%;'><span style='vertical-align:5%;'><span style='letter-spacing:-.2em;'>:</span>:</span>=</span>'_x</a> [notation, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#:::x_';;;'_x">:::x_';;;'_x</a> [notation, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#:::x_'=?'_x">:::x_'=?'_x</a> [notation, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#:::x_'?'">:::x_'?'</a> [notation, in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#:::x_'|&#x22A2;'_x_'\IN'_x">:::x_'|&#x22A2;'_x_'\IN'_x</a> [notation, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#:::'SKIP'">:::'SKIP'</a> [notation, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#:::'TEST'_x_'THEN'_x_'ELSE'_x_'FI'">:::'TEST'_x_'THEN'_x_'ELSE'_x_'FI'</a> [notation, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#:::'WHILE'_x_'DO'_x_'END'">:::'WHILE'_x_'DO'_x_'END'</a> [notation, in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><hr/>
<h1>Notation Index</h1>
<a name="notation_G"></a><h2>G </h2>
<a href="QC.TImp.html#GenSTPlayground.:::'genST'_x">GenSTPlayground.:::'genST'_x</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="notation_Q"></a><h2>Q </h2>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'('_x_';;'_x_')'">QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'('_x_';;'_x_')'</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'['_x_';'_x_';'_'..'_';'_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'['_x_';'_x_';'_'..'_';'_x_']'</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'['_x_';'_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'['_x_';'_x_']'</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'['_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'elems'_'['_x_']'</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'('_'('_x_','_x_')'_';;'_x_')'">QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'('_'('_x_','_x_')'_';;'_x_')'</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'['_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'['_x_']'</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'['_'('_x_','_x_')'_';'_x_';'_'..'_';'_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'['_'('_x_','_x_')'_';'_x_';'_'..'_';'_x_']'</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'['_'('_x_','_x_')'_';'_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'freq'_'['_'('_x_','_x_')'_';'_x_']'</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'('_x_';;'_x_')'">QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'('_x_';;'_x_')'</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'['_x_';'_x_';'_'..'_';'_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'['_x_';'_x_';'_'..'_';'_x_']'</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'['_x_';'_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'['_x_';'_x_']'</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'['_x_']'">QuickChickSig.QcDefaultNotation.::qc_scope:'oneOf'_'['_x_']'</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDoNotation.:::'doM!'_x_'<-'_x_';'_x">QuickChickSig.QcDoNotation.:::'doM!'_x_'<-'_x_';'_x</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDoNotation.:::'do!'_x_'<-'_x_';'_x">QuickChickSig.QcDoNotation.:::'do!'_x_'<-'_x_';'_x</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDoNotation.:::'do\'''_x_'<-'_x_';'_x">QuickChickSig.QcDoNotation.:::'do\'''_x_'<-'_x_';'_x</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcNotation.::Checker_scope:x_'==>'_x">QuickChickSig.QcNotation.::Checker_scope:x_'==>'_x</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.:::x_'?'">QuickChickSig.:::x_'?'</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.:::'genST'_x">QuickChickSig.:::'genST'_x</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<br/><br/><a name="notation_:"></a><h2>: </h2>
<a href="QC.TImp.html#:::x_'<span style='font-size:85%;'><span style='vertical-align:5%;'><span style='letter-spacing:-.2em;'>:</span>:</span>=</span>'_x">:::x_'<span style='font-size:85%;'><span style='vertical-align:5%;'><span style='letter-spacing:-.2em;'>:</span>:</span>=</span>'_x</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#:::x_';;;'_x">:::x_';;;'_x</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#:::x_'=?'_x">:::x_'=?'_x</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#:::x_'?'">:::x_'?'</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#:::x_'|&#x22A2;'_x_'\IN'_x">:::x_'|&#x22A2;'_x_'\IN'_x</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#:::'SKIP'">:::'SKIP'</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#:::'TEST'_x_'THEN'_x_'ELSE'_x_'FI'">:::'TEST'_x_'THEN'_x_'ELSE'_x_'FI'</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#:::'WHILE'_x_'DO'_x_'END'">:::'WHILE'_x_'DO'_x_'END'</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><hr/>
<h1>Module Index</h1>
<a name="module_C"></a><h2>C </h2>
<a href="QC.QC.html#CheckerPlayground1">CheckerPlayground1</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground2">CheckerPlayground2</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground3">CheckerPlayground3</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4">CheckerPlayground4</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="module_D"></a><h2>D </h2>
<a href="QC.QC.html#DefineArbitrary">DefineArbitrary</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineG">DefineG</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineGen">DefineGen</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineGenSized">DefineGenSized</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineSized">DefineSized</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="module_G"></a><h2>G </h2>
<a href="QC.TImp.html#GenSTPlayground">GenSTPlayground</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="module_Q"></a><h2>Q </h2>
<a href="QC.QuickChickInterface.html#QuickChickSig">QuickChickSig</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDefaultNotation">QuickChickSig.QcDefaultNotation</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcDoNotation">QuickChickSig.QcDoNotation</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.QcNotation">QuickChickSig.QcNotation</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<br/><br/><hr/>
<h1>Library Index</h1>
<a name="library_B"></a><h2>B </h2>
<a href="Bib.html">Bib</a> <br/>
<br/><br/><a name="library_I"></a><h2>I </h2>
<a href="Introduction.html">Introduction</a> <br/>
<br/><br/><a name="library_P"></a><h2>P </h2>
<a href="PostScript.html">PostScript</a> <br/>
<a href="Preface.html">Preface</a> <br/>
<br/><br/><a name="library_Q"></a><h2>Q </h2>
<a href="QC.html">QC</a> <br/>
<a href="QuickChickInterface.html">QuickChickInterface</a> <br/>
<a href="QuickChickTool.html">QuickChickTool</a> <br/>
<br/><br/><a name="library_T"></a><h2>T </h2>
<a href="TImp.html">TImp</a> <br/>
<a href="Typeclasses.html">Typeclasses</a> <br/>
<br/><br/><hr/>
<h1>Axiom Index</h1>
<a name="axiom_C"></a><h2>C </h2>
<a href="QC.QC.html#CheckerPlayground2.c1">CheckerPlayground2.c1</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground2.c2">CheckerPlayground2.c2</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#conditional_prop_example">conditional_prop_example</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="axiom_E"></a><h2>E </h2>
<a href="QC.QC.html#every_color_is_red">every_color_is_red</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#expression_soundness">expression_soundness</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="axiom_Q"></a><h2>Q </h2>
<a href="QC.QuickChickInterface.html#QuickChickSig.backtrack">QuickChickSig.backtrack</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.bindGenOpt">QuickChickSig.bindGenOpt</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.bindGen'">QuickChickSig.bindGen'</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Checker">QuickChickSig.Checker</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.choose">QuickChickSig.choose</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.collect">QuickChickSig.collect</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.conjoin">QuickChickSig.conjoin</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.disjoin">QuickChickSig.disjoin</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.elems_">QuickChickSig.elems_</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.expectFailure">QuickChickSig.expectFailure</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.forAll">QuickChickSig.forAll</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.forAllProof">QuickChickSig.forAllProof</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.forAllShrink">QuickChickSig.forAllShrink</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.freq_">QuickChickSig.freq_</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.G">QuickChickSig.G</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.implication">QuickChickSig.implication</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.listOf">QuickChickSig.listOf</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.oneOf_">QuickChickSig.oneOf_</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.RandomSeed">QuickChickSig.RandomSeed</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.resize">QuickChickSig.resize</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.run">QuickChickSig.run</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.semGen">QuickChickSig.semGen</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.semGenSize">QuickChickSig.semGenSize</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.sized">QuickChickSig.sized</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.suchThatMaybe">QuickChickSig.suchThatMaybe</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.suchThatMaybeOpt">QuickChickSig.suchThatMaybeOpt</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.tag">QuickChickSig.tag</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.vectorOf">QuickChickSig.vectorOf</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.whenFail">QuickChickSig.whenFail</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<br/><br/><a name="axiom_R"></a><h2>R </h2>
<a href="QC.Introduction.html#removeP">removeP</a> [in <a href="QC.Introduction.html">QC.Introduction</a>]<br/>
<br/><br/><a name="axiom_W"></a><h2>W </h2>
<a href="QC.TImp.html#well_typed_state_never_stuck">well_typed_state_never_stuck</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><hr/>
<h1>Constructor Index</h1>
<a name="constructor_A"></a><h2>A </h2>
<a href="QC.QuickChickTool.html#AMinus">AMinus</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QuickChickTool.html#AMult">AMult</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QuickChickTool.html#ANum">ANum</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QuickChickTool.html#APlus">APlus</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<br/><br/><a name="constructor_B"></a><h2>B </h2>
<a href="QC.Typeclasses.html#Bar">Bar</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#Baz">Baz</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#Bind">Bind</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#Blue">Blue</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#Blue">Blue</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#Build_LabeledPoint">Build_LabeledPoint</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#Build_Point">Build_Point</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="constructor_C"></a><h2>C </h2>
<a href="QC.TImp.html#CAss">CAss</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#CheckerPlayground1.Failure">CheckerPlayground1.Failure</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground1.Success">CheckerPlayground1.Success</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.Failure">CheckerPlayground4.Failure</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.Success">CheckerPlayground4.Success</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#CIf">CIf</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#CSeq">CSeq</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#CSkip">CSkip</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#CWhile">CWhile</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="constructor_D"></a><h2>D </h2>
<a href="QC.QC.html#DefineG.MkG">DefineG.MkG</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="constructor_E"></a><h2>E </h2>
<a href="QC.TImp.html#EAnd">EAnd</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#EEq">EEq</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#EFalse">EFalse</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#ELe">ELe</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#EMinus">EMinus</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#EMult">EMult</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#ENot">ENot</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#ENum">ENum</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#EPlus">EPlus</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#ETrue">ETrue</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#EVar">EVar</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="constructor_F"></a><h2>F </h2>
<a href="QC.TImp.html#Fail">Fail</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="constructor_G"></a><h2>G </h2>
<a href="QC.QC.html#Green">Green</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#Green">Green</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="constructor_I"></a><h2>I </h2>
<a href="QC.TImp.html#Id">Id</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="constructor_L"></a><h2>L </h2>
<a href="QC.QC.html#Leaf">Leaf</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#Left">Left</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="constructor_M"></a><h2>M </h2>
<a href="QC.QC.html#Middle">Middle</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="constructor_N"></a><h2>N </h2>
<a href="QC.QC.html#Node">Node</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="constructor_O"></a><h2>O </h2>
<a href="QC.TImp.html#OutOfGas">OutOfGas</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="constructor_Q"></a><h2>Q </h2>
<a href="QC.QuickChickInterface.html#QuickChickSig.MkArgs">QuickChickSig.MkArgs</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<br/><br/><a name="constructor_R"></a><h2>R </h2>
<a href="QC.Typeclasses.html#Red">Red</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#Red">Red</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#Right">Right</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="constructor_S"></a><h2>S </h2>
<a href="QC.QuickChickTool.html#SMinus">SMinus</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QuickChickTool.html#SMult">SMult</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QuickChickTool.html#SPlus">SPlus</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QuickChickTool.html#SPush">SPush</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.TImp.html#Success">Success</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="constructor_T"></a><h2>T </h2>
<a href="QC.TImp.html#TAss">TAss</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#TBool">TBool</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#TIf">TIf</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#TLeaf">TLeaf</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#TNat">TNat</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#TNode">TNode</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#TSeq">TSeq</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#TSkip">TSkip</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#TS_Elem">TS_Elem</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#TS_Empty">TS_Empty</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#TWhile">TWhile</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#TyVBool">TyVBool</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#TyVNat">TyVNat</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_And">Ty_And</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Eq">Ty_Eq</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_False">Ty_False</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_False2">Ty_False2</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Le">Ty_Le</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Minus">Ty_Minus</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Mult">Ty_Mult</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Not">Ty_Not</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Num">Ty_Num</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Num2">Ty_Num2</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Plus">Ty_Plus</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Plus3">Ty_Plus3</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_True">Ty_True</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_True2">Ty_True2</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Var">Ty_Var</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Var1">Ty_Var1</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Var2">Ty_Var2</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#Ty_Var3">Ty_Var3</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="constructor_V"></a><h2>V </h2>
<a href="QC.TImp.html#VBool">VBool</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#VNat">VNat</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="constructor_Y"></a><h2>Y </h2>
<a href="QC.QC.html#Yellow">Yellow</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><hr/>
<h1>Lemma Index</h1>
<a name="lemma_B"></a><h2>B </h2>
<a href="QC.TImp.html#bind_deterministic">bind_deterministic</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="lemma_C"></a><h2>C </h2>
<a href="QC.Typeclasses.html#commutativity_property">commutativity_property</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="lemma_E"></a><h2>E </h2>
<a href="QC.Typeclasses.html#eqb_fact">eqb_fact</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="lemma_H"></a><h2>H </h2>
<a href="QC.TImp.html#has_type_deterministic">has_type_deterministic</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="lemma_T"></a><h2>T </h2>
<a href="QC.Typeclasses.html#trans3">trans3</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#trans3_pre">trans3_pre</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><hr/>
<h1>Projection Index</h1>
<a name="projection_C"></a><h2>C </h2>
<a href="QC.QC.html#CheckerPlayground1.checker">CheckerPlayground1.checker</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.checker">CheckerPlayground4.checker</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="projection_D"></a><h2>D </h2>
<a href="QC.Typeclasses.html#dec">dec</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#DefineGenSized.arbitrarySized">DefineGenSized.arbitrarySized</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineGen.arbitrary">DefineGen.arbitrary</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="projection_E"></a><h2>E </h2>
<a href="QC.Typeclasses.html#eqb">eqb</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqbad">eqbad</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqb_eq">eqb_eq</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="projection_G"></a><h2>G </h2>
<a href="QC.TImp.html#GenSTPlayground.arbitrarySizeST">GenSTPlayground.arbitrarySizeST</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#GenSTPlayground.arbitraryST">GenSTPlayground.arbitraryST</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="projection_L"></a><h2>L </h2>
<a href="QC.Typeclasses.html#label">label</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#le">le</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#lebad">lebad</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#lx">lx</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#ly">ly</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="projection_M"></a><h2>M </h2>
<a href="QC.Typeclasses.html#mymap">mymap</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="projection_P"></a><h2>P </h2>
<a href="QC.Typeclasses.html#PreOrder_Reflexive">PreOrder_Reflexive</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#PreOrder_Transitive">PreOrder_Transitive</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#px">px</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#py">py</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="projection_Q"></a><h2>Q </h2>
<a href="QC.QuickChickInterface.html#QuickChickSig.chatty">QuickChickSig.chatty</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.maxDiscard">QuickChickSig.maxDiscard</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.maxShrinks">QuickChickSig.maxShrinks</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.maxSize">QuickChickSig.maxSize</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.maxSuccess">QuickChickSig.maxSuccess</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.replay">QuickChickSig.replay</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<br/><br/><a name="projection_R"></a><h2>R </h2>
<a href="QC.Typeclasses.html#reflexivity">reflexivity</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="projection_S"></a><h2>S </h2>
<a href="QC.Typeclasses.html#show">show</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="projection_T"></a><h2>T </h2>
<a href="QC.Typeclasses.html#transitivity">transitivity</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><hr/>
<h1>Inductive Index</h1>
<a name="inductive_B"></a><h2>B </h2>
<a href="QC.Typeclasses.html#bar">bar</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#baz">baz</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#bound_to">bound_to</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="inductive_C"></a><h2>C </h2>
<a href="QC.QC.html#CheckerPlayground1.Result">CheckerPlayground1.Result</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.Result">CheckerPlayground4.Result</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#color">color</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#com">com</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="inductive_D"></a><h2>D </h2>
<a href="QC.QC.html#DefineG.G">DefineG.G</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#direction">direction</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="inductive_E"></a><h2>E </h2>
<a href="QC.TImp.html#exp">exp</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QuickChickTool.html#exp">exp</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<br/><br/><a name="inductive_H"></a><h2>H </h2>
<a href="QC.TImp.html#has_type">has_type</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#has_type_value">has_type_value</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#has_type_1">has_type_1</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#has_type_2">has_type_2</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#has_type_3">has_type_3</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="inductive_I"></a><h2>I </h2>
<a href="QC.TImp.html#id">id</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="inductive_P"></a><h2>P </h2>
<a href="QC.Typeclasses.html#primary">primary</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="inductive_R"></a><h2>R </h2>
<a href="QC.TImp.html#result">result</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="inductive_S"></a><h2>S </h2>
<a href="QC.QuickChickTool.html#sinstr">sinstr</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<br/><br/><a name="inductive_T"></a><h2>T </h2>
<a href="QC.QC.html#TernaryTree">TernaryTree</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#Tree">Tree</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#ty">ty</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="inductive_V"></a><h2>V </h2>
<a href="QC.TImp.html#value">value</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="inductive_W"></a><h2>W </h2>
<a href="QC.TImp.html#well_typed_com">well_typed_com</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#well_typed_state">well_typed_state</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><hr/>
<h1>Instance Index</h1>
<a name="instance_B"></a><h2>B </h2>
<a href="QC.Typeclasses.html#baz1">baz1</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#baz2">baz2</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#baz3">baz3</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#baz4">baz4</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="instance_C"></a><h2>C </h2>
<a href="QC.QC.html#CheckerPlayground1.checkableBool">CheckerPlayground1.checkableBool</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground1.showResult">CheckerPlayground1.showResult</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground2.checkableDec">CheckerPlayground2.checkableDec</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.checkableBool">CheckerPlayground4.checkableBool</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.checkableDec">CheckerPlayground4.checkableDec</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.showResult">CheckerPlayground4.showResult</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.showUnit">CheckerPlayground4.showUnit</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="instance_D"></a><h2>D </h2>
<a href="QC.TImp.html#dec_bound_to">dec_bound_to</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#dec_bound_to">dec_bound_to</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#Dec_conj">Dec_conj</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#dec_has_type">dec_has_type</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#dec_has_type_value">dec_has_type_value</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#dec_well_typed_com">dec_well_typed_com</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#dec_well_typed_state">dec_well_typed_state</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#DefineGenSized.GenOfGenSized">DefineGenSized.GenOfGenSized</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="instance_E"></a><h2>E </h2>
<a href="QC.Typeclasses.html#eqBool">eqBool</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqdecBool'">eqdecBool'</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqdecBool''">eqdecBool''</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqdecNat">eqdecNat</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#EqDec__Dec">EqDec__Dec</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqNat">eqNat</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqPair">eqPair</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#eq_dec_color">eq_dec_color</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#eq_dec_tern_tree">eq_dec_tern_tree</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#eq_dec_tree">eq_dec_tree</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#eq_dec_ty">eq_dec_ty</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#eq_id_dec">eq_id_dec</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="instance_G"></a><h2>G </h2>
<a href="QC.TImp.html#GenSTPlayground.GenSuchThatOfBounded">GenSTPlayground.GenSuchThatOfBounded</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#genTree">genTree</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#gen_color">gen_color</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#GMonad">GMonad</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="instance_M"></a><h2>M </h2>
<a href="QC.Typeclasses.html#MyMap1">MyMap1</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#MyMap2">MyMap2</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#MyMap_trans">MyMap_trans</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="instance_N"></a><h2>N </h2>
<a href="QC.Typeclasses.html#natOrd">natOrd</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="instance_O"></a><h2>O </h2>
<a href="QC.Typeclasses.html#optionMonad">optionMonad</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="instance_Q"></a><h2>Q </h2>
<a href="QC.QuickChickInterface.html#QuickChickSig.Applicative_G">QuickChickSig.Applicative_G</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.ArbitraryOfGenShrink">QuickChickSig.ArbitraryOfGenShrink</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.ChooseBool">QuickChickSig.ChooseBool</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.ChooseNat">QuickChickSig.ChooseNat</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.ChooseZ">QuickChickSig.ChooseZ</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_ascii">QuickChickSig.Dec_ascii</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_conj">QuickChickSig.Dec_conj</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_disj">QuickChickSig.Dec_disj</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_eq_bool">QuickChickSig.Dec_eq_bool</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_eq_list">QuickChickSig.Dec_eq_list</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_eq_nat">QuickChickSig.Dec_eq_nat</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_eq_opt">QuickChickSig.Dec_eq_opt</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_eq_prod">QuickChickSig.Dec_eq_prod</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_neg">QuickChickSig.Dec_neg</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Dec_string">QuickChickSig.Dec_string</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Eq__Dec">QuickChickSig.Eq__Dec</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Functor_G">QuickChickSig.Functor_G</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genBoolSized">QuickChickSig.genBoolSized</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genList">QuickChickSig.genList</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genListSized">QuickChickSig.genListSized</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genNatSized">QuickChickSig.genNatSized</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.GenOfGenSized">QuickChickSig.GenOfGenSized</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genOption">QuickChickSig.genOption</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genPair">QuickChickSig.genPair</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genPairSized">QuickChickSig.genPairSized</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.genZSized">QuickChickSig.genZSized</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.Monad_G">QuickChickSig.Monad_G</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.OrdBool">QuickChickSig.OrdBool</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.OrdNat">QuickChickSig.OrdNat</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.OrdZ">QuickChickSig.OrdZ</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showBool">QuickChickSig.showBool</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showEx">QuickChickSig.showEx</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showList">QuickChickSig.showList</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showNat">QuickChickSig.showNat</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showOpt">QuickChickSig.showOpt</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showPair">QuickChickSig.showPair</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showString">QuickChickSig.showString</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.showZ">QuickChickSig.showZ</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.shrinkBool">QuickChickSig.shrinkBool</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.shrinkList">QuickChickSig.shrinkList</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.shrinkNat">QuickChickSig.shrinkNat</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.shrinkOption">QuickChickSig.shrinkOption</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.shrinkPair">QuickChickSig.shrinkPair</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.shrinkZ">QuickChickSig.shrinkZ</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.testBool">QuickChickSig.testBool</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.testDec">QuickChickSig.testDec</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.testFun">QuickChickSig.testFun</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.testPolyFun">QuickChickSig.testPolyFun</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.testProd">QuickChickSig.testProd</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<a href="QC.QuickChickInterface.html#QuickChickSig.testUnit">QuickChickSig.testUnit</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<br/><br/><a name="instance_S"></a><h2>S </h2>
<a href="QC.Typeclasses.html#showBool">showBool</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#showDirection">showDirection</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#showList">showList</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showNat">showNat</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showPair">showPair</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#showPath">showPath</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#showPrimary">showPrimary</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#showTree">showTree</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#show_color">show_color</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#show_id">show_id</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#shrinkColor">shrinkColor</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#shrinkDirection">shrinkDirection</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#shrinkId">shrinkId</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#shrinkPath">shrinkPath</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#shrinkTree">shrinkTree</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><hr/>
<h1>Section Index</h1>
<a name="section_G"></a><h2>G </h2>
<a href="QC.QC.html#GMonadDef">GMonadDef</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><hr/>
<h1>Definition Index</h1>
<a name="definition_A"></a><h2>A </h2>
<a href="QC.Typeclasses.html#All">All</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="definition_B"></a><h2>B </h2>
<a href="QC.TImp.html#base">base</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#base'">base'</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#bindGenOpt">bindGenOpt</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="definition_C"></a><h2>C </h2>
<a href="QC.TImp.html#ceval">ceval</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#CheckerPlayground1.Checker">CheckerPlayground1.Checker</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground3.forAll">CheckerPlayground3.forAll</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.Checker">CheckerPlayground4.Checker</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.forAll">CheckerPlayground4.forAll</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QuickChickTool.html#compile">compile</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QuickChickTool.html#compiles_correctly">compiles_correctly</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.TImp.html#context">context</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="definition_D"></a><h2>D </h2>
<a href="QC.QC.html#DefineSized.sized">DefineSized.sized</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="definition_E"></a><h2>E </h2>
<a href="QC.Typeclasses.html#eg<sub>42</sub>">eg<sub>42</sub></a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#eqBar">eqBar</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QuickChickTool.html#eval">eval</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.TImp.html#eval">eval</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QuickChickTool.html#execute">execute</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.TImp.html#expression_soundness_exec">expression_soundness_exec</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#expression_soundness_exec'">expression_soundness_exec'</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#expression_soundness_exec_firstshrink">expression_soundness_exec_firstshrink</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#e<sub>1</sub>">e<sub>1</sub></a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#e<sub>2</sub>">e<sub>2</sub></a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#e<sub>3</sub>">e<sub>3</sub></a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#e<sub>3</sub>">e<sub>3</sub></a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="definition_F"></a><h2>F </h2>
<a href="QC.QC.html#faultyMirrorP">faultyMirrorP</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.Typeclasses.html#foo">foo</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#fresh">fresh</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="definition_G"></a><h2>G </h2>
<a href="QC.QC.html#genColor">genColor</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#genColor'">genColor'</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#genDirection">genDirection</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#genPath">genPath</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#genSortedList">genSortedList</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#genTreeSized">genTreeSized</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#genTreeSized'">genTreeSized'</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#gen_context">gen_context</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_exp_typed_sized">gen_exp_typed_sized</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_has_type_2">gen_has_type_2</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_has_type_3">gen_has_type_3</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_typed_evar">gen_typed_evar</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_typed_has_type">gen_typed_has_type</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_typed_id_from_context">gen_typed_id_from_context</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_typed_value">gen_typed_value</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#gen_well_typed_state">gen_well_typed_state</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#get_fresh_ids">get_fresh_ids</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="definition_I"></a><h2>I </h2>
<a href="QC.Typeclasses.html#implicit_fun">implicit_fun</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#implicit_fun1">implicit_fun1</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Introduction.html#insert">insert</a> [in <a href="QC.Introduction.html">QC.Introduction</a>]<br/>
<a href="QC.QC.html#insert">insert</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#insertBST">insertBST</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#insertBST'">insertBST'</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#insertBST_spec">insertBST_spec</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#insertBST_spec'">insertBST_spec'</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#insert_spec">insert_spec</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#insert_spec'">insert_spec'</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#insert_spec_sorted">insert_spec_sorted</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#isBST">isBST</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#isFail">isFail</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#isNone">isNone</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#isRed">isRed</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="definition_L"></a><h2>L </h2>
<a href="QC.Typeclasses.html#liftM">liftM</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#liftM2">liftM2</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#liftM3">liftM3</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#lift_shrink">lift_shrink</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#lt">lt</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="definition_M"></a><h2>M </h2>
<a href="QC.TImp.html#Map">Map</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#map_dom">map_dom</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#map_empty">map_empty</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#map_get">map_get</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#map_set">map_set</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#max">max</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#max">max</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#max1">max1</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.TImp.html#max_elt">max_elt</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.QC.html#mirror">mirror</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#mirrorP">mirrorP</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="definition_N"></a><h2>N </h2>
<a href="QC.Typeclasses.html#nth_opt">nth_opt</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="definition_O"></a><h2>O </h2>
<a href="QC.QuickChickTool.html#optimize">optimize</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.QuickChickTool.html#optimize_correct_prop">optimize_correct_prop</a> [in <a href="QC.QuickChickTool.html">QC.QuickChickTool</a>]<br/>
<a href="QC.Typeclasses.html#ordBarList">ordBarList</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="definition_P"></a><h2>P </h2>
<a href="QC.QC.html#path">path</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#path_mirror">path_mirror</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="definition_Q"></a><h2>Q </h2>
<a href="QC.QuickChickInterface.html#QuickChickSig.nl">QuickChickSig.nl</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<br/><br/><a name="definition_R"></a><h2>R </h2>
<a href="QC.Typeclasses.html#r">r</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Introduction.html#remove">remove</a> [in <a href="QC.Introduction.html">QC.Introduction</a>]<br/>
<br/><br/><a name="definition_S"></a><h2>S </h2>
<a href="QC.Typeclasses.html#showListAux">showListAux</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showOne">showOne</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showOne1">showOne1</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showOne2">showOne2</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showOne3">showOne3</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showOne4">showOne4</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#showTwo">showTwo</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#shrinkTreeAux">shrinkTreeAux</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#shrink_base">shrink_base</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#shrink_evar">shrink_evar</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#shrink_exp_typed">shrink_exp_typed</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#shrink_rec">shrink_rec</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#shrink_typed_has_type">shrink_typed_has_type</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#silly_fun1">silly_fun1</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#silly_fun2">silly_fun2</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#size">size</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#sorted">sorted</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.TImp.html#state">state</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.Typeclasses.html#string_of_nat">string_of_nat</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#string_of_nat_aux">string_of_nat_aux</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#sum3">sum3</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#sum3opt">sum3opt</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#sum3opt'">sum3opt'</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="definition_T"></a><h2>T </h2>
<a href="QC.QC.html#tern_mirror">tern_mirror</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#tern_mirror_path_flip">tern_mirror_path_flip</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#traverse_node">traverse_node</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#traverse_path">traverse_path</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#treeProp">treeProp</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><hr/>
<h1>Record Index</h1>
<a name="record_C"></a><h2>C </h2>
<a href="QC.QC.html#CheckerPlayground1.Checkable">CheckerPlayground1.Checkable</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#CheckerPlayground4.Checkable">CheckerPlayground4.Checkable</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="record_D"></a><h2>D </h2>
<a href="QC.Typeclasses.html#Dec">Dec</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.QC.html#DefineArbitrary.Arbitrary">DefineArbitrary.Arbitrary</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineGenSized.GenSized">DefineGenSized.GenSized</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<a href="QC.QC.html#DefineGen.Gen">DefineGen.Gen</a> [in <a href="QC.QC.html">QC.QC</a>]<br/>
<br/><br/><a name="record_E"></a><h2>E </h2>
<a href="QC.Typeclasses.html#Eq">Eq</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#EqDec">EqDec</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="record_G"></a><h2>G </h2>
<a href="QC.TImp.html#GenSTPlayground.GenSizedSuchThat">GenSTPlayground.GenSizedSuchThat</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<a href="QC.TImp.html#GenSTPlayground.GenSuchThat">GenSTPlayground.GenSuchThat</a> [in <a href="QC.TImp.html">QC.TImp</a>]<br/>
<br/><br/><a name="record_L"></a><h2>L </h2>
<a href="QC.Typeclasses.html#LabeledPoint">LabeledPoint</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="record_M"></a><h2>M </h2>
<a href="QC.Typeclasses.html#MyMap">MyMap</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="record_O"></a><h2>O </h2>
<a href="QC.Typeclasses.html#Ord">Ord</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#OrdBad">OrdBad</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="record_P"></a><h2>P </h2>
<a href="QC.Typeclasses.html#Point">Point</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<a href="QC.Typeclasses.html#PreOrder">PreOrder</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="record_Q"></a><h2>Q </h2>
<a href="QC.QuickChickInterface.html#QuickChickSig.Args">QuickChickSig.Args</a> [in <a href="QC.QuickChickInterface.html">QC.QuickChickInterface</a>]<br/>
<br/><br/><a name="record_R"></a><h2>R </h2>
<a href="QC.Typeclasses.html#Reflexive">Reflexive</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="record_S"></a><h2>S </h2>
<a href="QC.Typeclasses.html#Show">Show</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><a name="record_T"></a><h2>T </h2>
<a href="QC.Typeclasses.html#Transitive">Transitive</a> [in <a href="QC.Typeclasses.html">QC.Typeclasses</a>]<br/>
<br/><br/><hr/><table>
<tr>
<td>Global Index</td>
<td><a href="coqindex.html#global_A">A</a></td>
<td><a href="coqindex.html#global_B">B</a></td>
<td><a href="coqindex.html#global_C">C</a></td>
<td><a href="coqindex.html#global_D">D</a></td>
<td><a href="coqindex.html#global_E">E</a></td>
<td><a href="coqindex.html#global_F">F</a></td>
<td><a href="coqindex.html#global_G">G</a></td>
<td><a href="coqindex.html#global_H">H</a></td>
<td><a href="coqindex.html#global_I">I</a></td>
<td>J</td>
<td>K</td>
<td><a href="coqindex.html#global_L">L</a></td>
<td><a href="coqindex.html#global_M">M</a></td>
<td><a href="coqindex.html#global_N">N</a></td>
<td><a href="coqindex.html#global_O">O</a></td>
<td><a href="coqindex.html#global_P">P</a></td>
<td><a href="coqindex.html#global_Q">Q</a></td>
<td><a href="coqindex.html#global_R">R</a></td>
<td><a href="coqindex.html#global_S">S</a></td>
<td><a href="coqindex.html#global_T">T</a></td>
<td>U</td>
<td><a href="coqindex.html#global_V">V</a></td>
<td><a href="coqindex.html#global_W">W</a></td>
<td>X</td>
<td><a href="coqindex.html#global_Y">Y</a></td>
<td>Z</td>
<td><a href="coqindex.html#global_:">:</a></td>
<td>_</td>
<td>(470 entries)</td>
</tr>
<tr>
<td>Notation Index</td>
<td>A</td>
<td>B</td>
<td>C</td>
<td>D</td>
<td>E</td>
<td>F</td>
<td><a href="coqindex.html#notation_G">G</a></td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td><a href="coqindex.html#notation_Q">Q</a></td>
<td>R</td>
<td>S</td>
<td>T</td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td><a href="coqindex.html#notation_:">:</a></td>
<td>_</td>
<td>(27 entries)</td>
</tr>
<tr>
<td>Module Index</td>
<td>A</td>
<td>B</td>
<td><a href="coqindex.html#module_C">C</a></td>
<td><a href="coqindex.html#module_D">D</a></td>
<td>E</td>
<td>F</td>
<td><a href="coqindex.html#module_G">G</a></td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td><a href="coqindex.html#module_Q">Q</a></td>
<td>R</td>
<td>S</td>
<td>T</td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(14 entries)</td>
</tr>
<tr>
<td>Library Index</td>
<td>A</td>
<td><a href="coqindex.html#library_B">B</a></td>
<td>C</td>
<td>D</td>
<td>E</td>
<td>F</td>
<td>G</td>
<td>H</td>
<td><a href="coqindex.html#library_I">I</a></td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td><a href="coqindex.html#library_P">P</a></td>
<td><a href="coqindex.html#library_Q">Q</a></td>
<td>R</td>
<td>S</td>
<td><a href="coqindex.html#library_T">T</a></td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(9 entries)</td>
</tr>
<tr>
<td>Axiom Index</td>
<td>A</td>
<td>B</td>
<td><a href="coqindex.html#axiom_C">C</a></td>
<td>D</td>
<td><a href="coqindex.html#axiom_E">E</a></td>
<td>F</td>
<td>G</td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td><a href="coqindex.html#axiom_Q">Q</a></td>
<td><a href="coqindex.html#axiom_R">R</a></td>
<td>S</td>
<td>T</td>
<td>U</td>
<td>V</td>
<td><a href="coqindex.html#axiom_W">W</a></td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(36 entries)</td>
</tr>
<tr>
<td>Constructor Index</td>
<td><a href="coqindex.html#constructor_A">A</a></td>
<td><a href="coqindex.html#constructor_B">B</a></td>
<td><a href="coqindex.html#constructor_C">C</a></td>
<td><a href="coqindex.html#constructor_D">D</a></td>
<td><a href="coqindex.html#constructor_E">E</a></td>
<td><a href="coqindex.html#constructor_F">F</a></td>
<td><a href="coqindex.html#constructor_G">G</a></td>
<td>H</td>
<td><a href="coqindex.html#constructor_I">I</a></td>
<td>J</td>
<td>K</td>
<td><a href="coqindex.html#constructor_L">L</a></td>
<td><a href="coqindex.html#constructor_M">M</a></td>
<td><a href="coqindex.html#constructor_N">N</a></td>
<td><a href="coqindex.html#constructor_O">O</a></td>
<td>P</td>
<td><a href="coqindex.html#constructor_Q">Q</a></td>
<td><a href="coqindex.html#constructor_R">R</a></td>
<td><a href="coqindex.html#constructor_S">S</a></td>
<td><a href="coqindex.html#constructor_T">T</a></td>
<td>U</td>
<td><a href="coqindex.html#constructor_V">V</a></td>
<td>W</td>
<td>X</td>
<td><a href="coqindex.html#constructor_Y">Y</a></td>
<td>Z</td>
<td>_</td>
<td>(84 entries)</td>
</tr>
<tr>
<td>Lemma Index</td>
<td>A</td>
<td><a href="coqindex.html#lemma_B">B</a></td>
<td><a href="coqindex.html#lemma_C">C</a></td>
<td>D</td>
<td><a href="coqindex.html#lemma_E">E</a></td>
<td>F</td>
<td>G</td>
<td><a href="coqindex.html#lemma_H">H</a></td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td>Q</td>
<td>R</td>
<td>S</td>
<td><a href="coqindex.html#lemma_T">T</a></td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(6 entries)</td>
</tr>
<tr>
<td>Projection Index</td>
<td>A</td>
<td>B</td>
<td><a href="coqindex.html#projection_C">C</a></td>
<td><a href="coqindex.html#projection_D">D</a></td>
<td><a href="coqindex.html#projection_E">E</a></td>
<td>F</td>
<td><a href="coqindex.html#projection_G">G</a></td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td><a href="coqindex.html#projection_L">L</a></td>
<td><a href="coqindex.html#projection_M">M</a></td>
<td>N</td>
<td>O</td>
<td><a href="coqindex.html#projection_P">P</a></td>
<td><a href="coqindex.html#projection_Q">Q</a></td>
<td><a href="coqindex.html#projection_R">R</a></td>
<td><a href="coqindex.html#projection_S">S</a></td>
<td><a href="coqindex.html#projection_T">T</a></td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(29 entries)</td>
</tr>
<tr>
<td>Inductive Index</td>
<td>A</td>
<td><a href="coqindex.html#inductive_B">B</a></td>
<td><a href="coqindex.html#inductive_C">C</a></td>
<td><a href="coqindex.html#inductive_D">D</a></td>
<td><a href="coqindex.html#inductive_E">E</a></td>
<td>F</td>
<td>G</td>
<td><a href="coqindex.html#inductive_H">H</a></td>
<td><a href="coqindex.html#inductive_I">I</a></td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td><a href="coqindex.html#inductive_P">P</a></td>
<td>Q</td>
<td><a href="coqindex.html#inductive_R">R</a></td>
<td><a href="coqindex.html#inductive_S">S</a></td>
<td><a href="coqindex.html#inductive_T">T</a></td>
<td>U</td>
<td><a href="coqindex.html#inductive_V">V</a></td>
<td><a href="coqindex.html#inductive_W">W</a></td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(26 entries)</td>
</tr>
<tr>
<td>Instance Index</td>
<td>A</td>
<td><a href="coqindex.html#instance_B">B</a></td>
<td><a href="coqindex.html#instance_C">C</a></td>
<td><a href="coqindex.html#instance_D">D</a></td>
<td><a href="coqindex.html#instance_E">E</a></td>
<td>F</td>
<td><a href="coqindex.html#instance_G">G</a></td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td><a href="coqindex.html#instance_M">M</a></td>
<td><a href="coqindex.html#instance_N">N</a></td>
<td><a href="coqindex.html#instance_O">O</a></td>
<td>P</td>
<td><a href="coqindex.html#instance_Q">Q</a></td>
<td>R</td>
<td><a href="coqindex.html#instance_S">S</a></td>
<td>T</td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(105 entries)</td>
</tr>
<tr>
<td>Section Index</td>
<td>A</td>
<td>B</td>
<td>C</td>
<td>D</td>
<td>E</td>
<td>F</td>
<td><a href="coqindex.html#section_G">G</a></td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td>L</td>
<td>M</td>
<td>N</td>
<td>O</td>
<td>P</td>
<td>Q</td>
<td>R</td>
<td>S</td>
<td>T</td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(1 entry)</td>
</tr>
<tr>
<td>Definition Index</td>
<td><a href="coqindex.html#definition_A">A</a></td>
<td><a href="coqindex.html#definition_B">B</a></td>
<td><a href="coqindex.html#definition_C">C</a></td>
<td><a href="coqindex.html#definition_D">D</a></td>
<td><a href="coqindex.html#definition_E">E</a></td>
<td><a href="coqindex.html#definition_F">F</a></td>
<td><a href="coqindex.html#definition_G">G</a></td>
<td>H</td>
<td><a href="coqindex.html#definition_I">I</a></td>
<td>J</td>
<td>K</td>
<td><a href="coqindex.html#definition_L">L</a></td>
<td><a href="coqindex.html#definition_M">M</a></td>
<td><a href="coqindex.html#definition_N">N</a></td>
<td><a href="coqindex.html#definition_O">O</a></td>
<td><a href="coqindex.html#definition_P">P</a></td>
<td><a href="coqindex.html#definition_Q">Q</a></td>
<td><a href="coqindex.html#definition_R">R</a></td>
<td><a href="coqindex.html#definition_S">S</a></td>
<td><a href="coqindex.html#definition_T">T</a></td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(113 entries)</td>
</tr>
<tr>
<td>Record Index</td>
<td>A</td>
<td>B</td>
<td><a href="coqindex.html#record_C">C</a></td>
<td><a href="coqindex.html#record_D">D</a></td>
<td><a href="coqindex.html#record_E">E</a></td>
<td>F</td>
<td><a href="coqindex.html#record_G">G</a></td>
<td>H</td>
<td>I</td>
<td>J</td>
<td>K</td>
<td><a href="coqindex.html#record_L">L</a></td>
<td><a href="coqindex.html#record_M">M</a></td>
<td>N</td>
<td><a href="coqindex.html#record_O">O</a></td>
<td><a href="coqindex.html#record_P">P</a></td>
<td><a href="coqindex.html#record_Q">Q</a></td>
<td><a href="coqindex.html#record_R">R</a></td>
<td><a href="coqindex.html#record_S">S</a></td>
<td><a href="coqindex.html#record_T">T</a></td>
<td>U</td>
<td>V</td>
<td>W</td>
<td>X</td>
<td>Y</td>
<td>Z</td>
<td>_</td>
<td>(20 entries)</td>
</tr>
</table>
</div>

</div>

</body>
</html>